\begin{tabbing}
$\forall$\=${\it ds}$:fpf(Id; $x$.Type), ${\it da}$:fpf(Knd; $k$.Type), $k$:Knd,\+
\\[0ex]${\it test}$:(decl{-}state(${\it ds}$)$\rightarrow$ma{-}valtype(${\it da}$; $k$)$\rightarrow\mathbb{B}$). eclbase($k$; ${\it test}$) $\in$ ecl(${\it ds}$; ${\it da}$)
\-
\end{tabbing}